-
1 проблема выводимости
Большой англо-русский и русско-английский словарь > проблема выводимости
-
2 проблема выводимости
Information technology: deducibility problemУниверсальный русско-английский словарь > проблема выводимости
-
3 проблема выводимости
Русско-английский словарь по вычислительной технике и программированию > проблема выводимости
-
4 deducibility problem
Большой англо-русский и русско-английский словарь > deducibility problem
-
5 deducibility problem
English-Russian dictionary of computer science and programming > deducibility problem
-
6 deducibility problem
Англо-русский словарь по исследованиям и ноу-хау > deducibility problem
-
7 deducibility problem
Вычислительная техника: проблема выводимости
См. также в других словарях:
МАССОВАЯ ПРОБЛЕМА — алгоритмическая проблем а, проблема нахождения алгоритма для решения бесконечной серии однотипных задач, зависящих от нек рого параметра. Простейшие примеры М. п.: сложить два данных десятичных числа, умножить два данных числа, проверить,… … Математическая энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Теория алгоритмов — Теория алгоритмов наука, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач,… … Википедия
ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич … Математическая энциклопедия
Формальная арифметика — формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, (прибавление 1) и логические связки (см … Большая советская энциклопедия
АРИФМЕТИКА ФОРМАЛЬНАЯ — арифметическое исчисление, логико математич. исчисление, формализующее элементарную теорию чисел. Язык наиболее употребительного варианта А. ф. содержит константу 0, числовые переменные, символ равенства, функциональные символы (прибавление 1) и… … Математическая энциклопедия
ИСЧИСЛЕНИЕ — 1) Составная часть названия нек рых разделов математики, трактующих правила вычислений и оперирования с объектами того или иного типа; напр., дифференциальное И., вариационное И. 2) Дедуктивная система, т. е. способ задания множества путем… … Математическая энциклопедия
Риторика — (греч. ῥητορική ораторское искусство) филологическая дисциплина, изучающая способы построения художественно выразительной речи, прежде всего прозаической и устной; близко соприкасается с поэтикой и стилистикой. Поскольку предметом риторики… … Лингвистический энциклопедический словарь
МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… … Философская энциклопедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия